Automated Rebar Constructibility Problems Diagnosis: a Concept-proving Prototype
نویسندگان
چکیده
The paper describes a rebar constructibility model, which was developed in an object-oriented graphic environment. The model is intended to be used during the design phase to automatically diagnose potential rebar-related constructibility problems (the Diagnosis Module), as well as to offer solutions and implement them (the Correction Module). The Diagnosis Module was implemented first in a concept-proving prototype. The proposed model searches for constructibility problems through all relevant parts of the building. This search includes the structural design, as well as other building systems.
منابع مشابه
Computer Theorem Proving for Verifiable Solving of Geometric Construction Problems
Over the last sixty years, a number of methods for automated theorem proving in geometry, especially Euclidean geometry, have been developed. Almost all of them focus on universally quantified theorems. On the other hand, there are only few studies about logical approaches to geometric constructions. Consequently, automated proving of ∀∃ theorems, that correspond to geometric construction probl...
متن کاملSolving Geometric Construction Problems Supported by Theorem Proving
Over the last sixty years, a number of methods for automated theorem proving in geometry, especially Euclidean geometry, have been developed. Almost all of them focus on universally quantified theorems. On the other hand, there are only few studies about logical approaches of geometric constructions. Consequently, automated proving of ∀∃ theorems, that correspond to geometric construction probl...
متن کاملWernick’s List: A Final Update
We present a final status of all problems from Wernick’s list of triangle construction problems published in 1982 and with a number of unknown status until recently. Our results were obtained by a computer-based system for checking constructibility. We also developed a system for finding elegant constructions for solvable problems and for verifying their correctness. These systems helped in res...
متن کاملSemantically Guided Theorem Proving for Diagnosis Applications
In this paper we demonstrate how general purpose automated theorem proving techniques can be used to solve realistic model-based diagnosis problems. For this we modify a model generating tableau calculus such that a model of a correctly behaving device can be used to guide the search for minimal n-fault diagnoses. Our experiments show that our general approach is competitive with specialized di...
متن کاملSemantically Guided Theorem Proving for Diagnosis Applications
In this paper we demonstrate how general purpose automated theorem proving techniques can be used to solve realistic model-based diagnosis problems. For this we modify a model generating tableau calculus such that a model of a correctly behaving device can be used to guide the search for minimal diagnoses. Our experiments show that our general approach is competitive with specialized diagnosis ...
متن کامل